Abelian Categories of Modules over a (Lax) Monoidal Functor
نویسنده
چکیده
In [CY98] Crane and Yetter introduced a deformation theory for monoidal categories. The related deformation theory for monoidal functors introduced by Yetter in [Yet98] is a proper generalization of Gerstenhaber’s deformation theory for associative algebras [Ger63, Ger64, GS88]. In the present paper we solidify the analogy between lax monoidal functors and associative algebras by showing that under suitable conditions, categories of functors with an action of a lax monoidal functor are abelian categories. The deformation complex of a monoidal functor is generalized to an analogue of the Hochschild complex with coefficients in a bimodule, and the deformation complex of a monoidal natural transformation is shown to be a special case. It is shown further that the cohomology of a monoidal functor F with coefficients in an F, F -bimodule is given by right derived functors.
منابع مشابه
Twisting of monoidal structures
This article is devoted to the investigation of the deformation (twisting) of monoidal structures, such as the associativity constraint of the monoidal category and the monoidal structure of monoidal functor. The sets of twistings have a (non-abelian) c ohomological nature. Using this fact the maps from the sets of twistings to some cohomology groups (Hochschild cohomology of K-theory) are cons...
متن کاملDescent in Monoidal Categories
We consider a symmetric monoidal closed category V = (V ,⊗, I, [−,−]) together with a regular injective object Q such that the functor [−, Q] : V → V op is comonadic and prove that in such a category, as in the monoidal category of abelian groups, a morphism of commutative monoids is an effective descent morphism for modules if and only if it is a pure monomorphism. Examples of this kind of mon...
متن کاملLax Operad Actions and Coherence for Monoidal N -categories, A∞ Rings and Modules
We establish a general coherence theorem for lax operad actions on an n-category which implies that an n-category with such an action is lax equivalent to one with a strict action. This includes familiar coherence results (e.g. for symmetric monoidal categories) and many new ones. In particular, any braided monoidal n-category is lax equivalent to a strict braided monoidal n-category. We also o...
متن کاملTannaka-krein Duality for Hopf Algebroids
We develop the Tannaka-Krein duality for monoidal functors with target in the categories of bimodules over a ring. The Coend of such a functor turns out to be a Hopf algebroid over this ring. Using a result of [4] we characterize a small abelian, locally finite rigid monoidal category as the category of rigid comodules over a transitive Hopf algebroid.
متن کاملWhat Separable Frobenius Monoidal Functors Preserve
Abstract. Separable Frobenius monoidal functors were de ned and studied under that name in [10], [11] and [4] and in a more general context in [3]. Our purpose here is to develop their theory in a very precise sense. We determine what kinds of equations in monoidal categories they preserve. For example we show they preserve lax (meaning not necessarily invertible) Yang-Baxter operators, weak Ya...
متن کامل